newtype Prod s a = Prod (a, s)